for D being non empty set
for n being Nat
for A being Matrix of n,D holds (A @) @ = A