>>38
え、でも置換で解答は証明してるんです

>>40
なかなかπ−x=tとおくことに気付かないと思うんです
置換のコツとかないですか?