[net.math] A new paradox

kpv@ulysses.UUCP (09/15/83)

The proof fails when the sets {x(1), ... x(N-1)}
and {x(2), ... x(N)} are disjoint (because transitivity of
equality cannot apply). This happens for N=2.