>>219
背理法だと、素数をとれないとするわけだろ
なおさら、なんで整数Pが素数になるとかいきなりいえるわけさ