Use amsart for sum-of-squares representation article