Kaplansky's Theorem on Quadratic Forms

Theorem that a prime congruent to 1 modulo 16 is representable by either both or neither of the quadratic forms x²+32y² and x²+64y², while a prime congruent to 9 modulo 16 is representable by exactly one of the two.