Fermat's theorem on right triangles

GPTKB entity