>>236
証明できない定理を使うなっていうのはないのね