"n" ＝ "m" で成立すると仮定する。