two-square theorem

GPTKB entity