Claim: The exponent in the decomposition, 2, is even; therefore, the theorem states that it is expressible as the sum of two squares.
Evidence: Its exponent in the decomposition, 2, is even. Therefore, the theorem states that it is expressible as the sum of two squares.