theorem Th14: :: EUCLID12:17

( |[1,0]| <> |[0,1]| & |[1,0]| <> |[0,0]| & |[0,1]| <> |[0,0]| )