エラー埋込み法において、埋め込まれたエラー数をS、埋め込まれたエラーのうち発見されたエラー数をm、埋め込まれたエラーを含まないテスト開始前の潜在エラー数をT、発見された総エラー数をnとしたとき、S、T、m、nの関係を表す式はどれか。