マセマには証明がまともに書いてありません。

マセマで詳しいのは式変形だけだと思います。

でも式変形を詳しくされても何もありがたくありません。