20/05/10 06:58:46 vZYbiwt9.net
>>29の訂正
誤 >>12
正 >>11
>>14
正直＜補題１＞＜補題２＞は証明になってないけど
ここではカタイこといわずに＜定理１＞を認めるとすれば
＜定理２＞の証明はそんなもんだね
で、実は、一般的な分配法則まで必要とせず
（もちろん、帰納法を使えば証明できるけど）
>>29でも述べたように
「ｍ＊０＝０
ｍ＊（ｎ＋１）＝ｍ＊ｎ＋ｍ」
を掛け算の定義として
「０＊ｍ＝０
（ｎ＋１）＊ｍ＝ｎ＊ｍ＋ｎ」
が定理１として証明できればいい
ということで、>>11、やってみｗ