theorem :: ANPROJ_9:11

( |[1,0,0]| <> 0. (TOP-REAL 3) & |[0,1,0]| <> 0. (TOP-REAL 3) & |[0,0,1]| <> 0. (TOP-REAL 3) & |[1,1,1]| <> 0. (TOP-REAL 3) )