"A figurate number… is a number
that can be represented by
a regular geometrical arrangement
of equally spaced points."
— Eric W. Weisstein at Wolfram MathWorld
For example—
Call a convex polytope P an n-replica if P consists of n
mutually congruent polytopes similar to P packed together.
The square-triangle theorem (or lemma) says that
"Every triangle is an n-replica"
is true if and only if n is a square.
Equivalently,
The positive integer n is a square
if and only if every triangle is an n-replica.
(I.e., squares are triangular.)
This supplies the converse to the saying that