theorem Th57: :: ANPROJ_8:69

( <*<e1>*> @ = <*<*1*>,<*0*>,<*0*>*> & <*<e2>*> @ = <*<*0*>,<*1*>,<*0*>*> & <*<e3>*> @ = <*<*0*>,<*0*>,<*1*>*> )