for i, j being Nat st [i,j] in Indices (1,1 --> 1) holds
(1,1 --> 1) * i,j >= 0 by MATRIX_2:1;
hence 1,1 --> 1 is Nonnegative Matrix of REAL by Def4; :: thesis: verum