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.