for n, m being Nat
for M being Matrix of n,m,F_Real holds Mx2Tran M is continuous