Assertion: square's side | /r/HasProperty | impossible
Facets:
Source sentences:
text: Repeating this process, there are arbitrarily small squares one twice the area of the other, yet both having positive integer sides, which is impossible since positive integers cannot be less than 1.