証明できないなら正しいとは言えないが