>>825
式変形で下の方を証明する場合はどのようにすればいいんでしょうか?