
theorem Th05:
  for a,b being Real for c being non zero Real holds
  |[a,b,c]| is non zero Element of TOP-REAL 3
  proof
    let a,b be Real;
    let c be non zero Real;
    |[a,b,c]| is non zero by EUCLID_5:4,FINSEQ_1:78;
    hence thesis;
  end;
