Fermat's right triangle theorem

GPTKB entity