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