generalized Pythagorean theorem

GPTKB entity