Reference: isNormalSemimagicSquare

isNormalSemimagicSquare(M), where M is a real matrix, returns true if and only if M is a normal semi-magic square, i.e. a M×N semi-magic square in which every integer between 1 and N^2 occurs (exactly once).

Thus,

isNormalSemimagicSquare(M) = isSemimagicSquare(M) ∧ isNormalSquare(M).