theorem Th11: :: ANPROJ_9:10

( not |[1,0,0]| is zero & not |[0,1,0]| is zero & not |[0,0,1]| is zero & not |[1,1,1]| is zero ) by EUCLID_5:4, FINSEQ_1:78;