M is integer ;
then reconsider L = M as Matrix of INT ;
L = M ;
hence M is Matrix of INT ; :: thesis: verum