Assertion: square's length | /r/HasProperty | constructed with straightedge
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.