>>711
x, y, z, a, bがすべて異なるときは成り立つのは明らか
同じものが1つのときでは
x=aのとき
y≠b, z≠b
このときY、zはxと異なるのでy≠a, z≠a
よって成り立つ
x=bも同様
y=a
y=b
z=a
z=b
も同じようにして示せる
同じとなるものが2つのときでは
y=a, z=bのとき
xはy, zと異なるので(a ≠ x) ∧ (b ≠ x)
y=b, z=aのときも同様
x=a, y=b
x=b, y=a
x=a, z=b
x=b, z=aも同様に示せる