Assertion: square's length | /r/HasProperty | algebraic numbers
Facets:
Source sentences:
text: Thus, constructible lengths must be algebraic numbers.