theorem Th36:
  for a,b being Real holds |[a,b,1]| is non zero by EUCLID_5:4,FINSEQ_1:78;
