Pfister's theorem
Redirect to:
Pfister's sixteen-square identity