theorem Th42:
  Mx2Tran A is onto iff Det A <> 0.F_Real
proof
  Mx2Tran A is onto iff the_rank_of A=n by Th41;
  hence thesis by MATRIX13:83;
end;
