theorem Th53: :: ANPROJ_8:65

( Col (<*<e2>*>,1) = <*0*> & Col (<*<e2>*>,2) = <*1*> & Col (<*<e2>*>,3) = <*0*> )