Complex multiplication/Real determinant/Exercise