>>255
＞十分条件であることの証明が逆に方程式は条件を満たすとしか書いてなくて証明の仕方がよくわからないんです。

これはある意味決まり文句
>>262みたいにほぼ自明な、もしくは今までやってた議論をほぼ逆に辿っていけば元の条件にたどり着く場合はこういう風に適当に済ましていい
逆の証明を具体的にしなくちゃいけないのは、方程式で表してるものの中に、元の条件を満たさない例外があるときだけ