高木くんは>>493 を正しい証明だと考えてるんだな