>>233
背理法を勉強するべき。