すごいよね、何を証明しようとしてるのかすら分かってないのに証明は正しいんだとさ