>>239
>>227はどうやって証明したん?