同一法

どういつ ほう ―はふ 0 【同一法 】〘数 〙 定理の証明法の一 。A ならば B という定理が真で ，性質 B をもつものがただ一つしかないならば ，B ならば A という逆定理も成り立つというもの 。