問5
(1)素数は有限であるという定義をしても成り立つ既知の定義を示せ
(2)素数は無限であるという事を条件にしないと成り立たない定義の逆を
　定義した場合、素数は有限であるという矛盾は導けるか?