>>969
むしろ真だと仮定するからこそ、演繹できると仮定して進めることができるんだよ