>>41
そもそも、「背理法」なの？それとも、「帰納法」なの？