theorem Th11:
  |[1,0,0]| is non zero &
  |[0,1,0]| is non zero &
  |[0,0,1]| is non zero &
  |[1,1,1]| is non zero by EUCLID_5:4,FINSEQ_1:78;
