Brahmagupta–Fibonacci identity
In algebra, the Brahmagupta–Fibonacci identity expresses the product of two sums of two squares as a sum of two squares in two different ways. Hence the set of all sums of two squares is closed under multiplication.
Source: Wikipedia — Brahmagupta–Fibonacci identity (CC BY-SA 4.0)