ちっとも直観的に自明じゃないから証明してよ