Challenge level
This proof sorter is for the problem Iff.
Can you show that if $8k+1$ is a square number then $k$ must be a triangular number?
You can use the interactive proof sorter below to help you contruct a proof, or if you prefer here is a set of proof sorter cards for you to print out and rearrange.