Assertion: triangle's square | /r/HasProperty | revealed
Facets:
value: by multiplying a triangular number
type: MANNER
Source sentences:
text: b will always be a triangular number, because 8T n + 1 = (2n + 1)2, which yields all the odd squares are revealed by multiplying a triangular number by 8 and adding 1, and the process for b given a is an odd square is the inverse of this operation.