Claim: The exponent in the decomposition, 2, is even; therefore, the theorem which relates the prime decomposition of any integer n > 1 states that it is never expressible as the sum of two squares.
Evidence: Therefore, the theorem states that it is expressible as the sum of two squares.