theorem Th54: :: ANPROJ_8:66

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