Proposition 47 (Pythagorean theorem)

GPTKB entity