どういつ‐ほう【同一法】_‥ハフ 〔数〕証明法の一つ。「ＡならばＢ」が成り立ち、Ｂが成立するのは唯一通りの場合しかないとき、「ＢならばＡ」が成り立つことを利用する。 ⇒どう‐いつ【同一】