four-square theorem

GPTKB entity