theorem :: BKMODEL1:25

for D being non empty set
for M being Matrix of 1,D holds M @ = M