俺は>>25じゃないけど
>>28凄いよ。この証明結構面白い。