Use Mathematica to any 3 * 3 matrix of 1 to 9, and each number can only be used once, strives for the matrix determinant of maximum value, use Mathematica to prove