>>787
証明できたら定理やなくなるんやっけ?