Assertion: square | /r/CapableOf | allow unit squares
Facets:
Source sentences:
text: In particular, if a square of size a × a {\displaystyle a\times a} allows the packing of n 2 − 2 {\displaystyle n^{2}-2} unit squares, then it must be the case that a ≥ n {