theorem INTTOREAL: :: ZMATRLIN:7

for M being Matrix of INT holds M is Matrix of REAL