theorem Th52: :: ANPROJ_8:64

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