theorem INTTOREAL: :: ZMODLAT1:93

for M being Matrix of INT.Ring holds M is Matrix of F_Real