Assertion: circle's side | /r/AtLocation | same proportion
Facets:
Source sentences:
text: Thus all three corresponding sides are in the same proportion; in particular, we have C′A : C′C = C′P : C′A and AP :