Assertion: right triangle's length | /r/HasProperty | pa
Facets:
Source sentences:
text: Pompeiu's theorem states that, if P is an arbitrary point in the plane of an equilateral triangle ABC but not on its circumcircle, then there exists a triangle with sides of lengths PA, PB, and PC.