Re9 : 互いに素であることの証明　NAME：Kazuhisa J.
141.230.192.61.east.flets.alpha-net.ne.jp
07/03/10(Sat) 16:18:36 No. 92290

>これは何故でしょうか? よろしければ理由を
>ご教示下さい。

angelさんの知識にもよりますが…（ひょっとすると"釈迦に説法"）
「背理法」はその"公理系"が：
　無矛盾，かつ排中律が成立する．
　でないと使えないからです．
　取り敢えず，こう応えておきます．　

>気になって眠れなかった
　それは申し訳なかったです．m(_ _)m
　さて，

>自然数は一意に素因数分解できる
　現在は知りませんが，「一意」を除いては中学で "説明" がありました．
　また，私の教師としての経験から言えば，大学受験生は，知っていないと困る内容です．
________________________________________________________
かずひさって高校教師だったの??