Reference: isNormalMagicSquare

isNormalMagicSquare(M), where M is a real matrix, returns true if and only if M is a normal magic square, i.e. a n×n magic square containing every integer between 1 and n^2 (exactly once).

Thus

  isNormalMagicSquare(M) = isMagicSquare(M) ∧ isNormalSquare(M)