>>552
訂正

(2)　fは単射

a_1+b_1≠a_2+b_2→φ(a_1+b_1)≠φ(a_2+b_2)　☆

を示す．

φ(a_1+b_1)≠φ(a_2+b_2)　①
￢(a_1+b_1≠a_2+b_2)　　　②

を仮定する．いま写像の一意性と②により

φ(a_1+b_1)=c
φ(a_2+b_2)=c
a_1+b_1=a_2+b_2

である．同一性規則により

φ(c_1)=φ(c_2)