>>722 追加

５）
オミゴトな解答はfの全射性を上手く使ってるんだけど
そこにも言及が無いね>>686
　↓
そこは >>686 の”a'1と b'1,b'2,・・b'n たちは異なる（∵例えば a'1＝b'n ならば 射の定義に反する）”
で言及したつもりです

　>>696の”z1 ≠ z2 （もし z1 = z2 なら w1 = f(z1) = z2 となって矛盾）”
は うまい書き方と思った
但し 赤ペン
z1 ≠ z2 （もし z1 = z2 なら w1 = f(z1) = z2 となって矛盾）
　↓
z1 ≠ z2 （もし z1 = z2 なら w1 = f(z1)= f(z2) = w2 となってw1 ≠ w2 に矛盾）
ですね

ご指導ありがとうございました（＾＾