theorem Th13: :: ANPROJ_9:12

( <e1> <> 0. (TOP-REAL 3) & <e2> <> 0. (TOP-REAL 3) & <e3> <> 0. (TOP-REAL 3) )