theorem LmSign1A: :: ZMATRLIN:46

for n being Nat
for M being Matrix of n,F_Real st M is Matrix of n,INT holds
Det M in INT