オンラインリアルタイム処理における一つのトランザクションについて，端末側で応答時間，回線伝送時間，端末処理時間が測定できるとき，サーバ処理時間を求める式として適切なものはどれか。