Assertion: square's length | /r/HasProperty | constructed with compass
Facets:
Source sentences:
text: In 1837, Pierre Wantzel showed that lengths that could be constructed with compass and straightedge had to be solutions of certain polynomial equations with rational coefficients.