>>179
でも逆証って何かで出てきました。
数値代入法は逆証しろって。
じゃ逆証する必要はないんですね。

>>180
教科書に載ってない言葉は使えないです。知らないから。

>>181
定義定理は知ってますよ。オリジナルのとかに引っかかる。

じゃ寝ます。、