>>410
興味がない。
証明とやらは君がやればいい。