またまた、お恥ずかしい間違いの訂正です。
mで割り切れる、って言ってんだから、さっさと割りゃいいだろ? 「背理法」とか、そんな大げさな話じゃ、ないだろ? ということでしたね。 |
(A) mC2がmで割り切れる | → | (B) mは奇数である |
「(B) mは奇数である」ことが、
「(A) mC2がmで割り切れる」
ための
「必要条件」である。 |
(B) mは奇数である | → | (A) mC2がmで割り切れる |
「(B) mは奇数である」ことが、
「(A) mC2がmで割り切れる」
ための
「十分条件」である。 |