for n being Nat
for M being Matrix of n,F_Real
for N being Matrix of n,REAL st N = MXF2MXR M holds
( M is invertible iff N is invertible )