An expression for primes and its application to K2Q

We show that any prime is a quotient of the finite products of the form a4+b4. Applying this result, we obtain a generating set for the subgroup of K2Q consisting of all elements of order dividing 8.