theorem Th14: :: HILBERT3:15

(0,1) --> (1,0) is Permutation of 2