あ、使うのはおそらく、数学�T・Aの範囲の定理っす