どういつ-ほう ―ハフ [0] 【同一法】 〔数〕 定理の証明法の一。A ならば B という定理が真で，性質 B をもつものがただ一つしかないならば，B ならば A という逆定理も成り立つというもの。