Proving the square of an integer is a multiple of 8 plus 1

[@KuaisArts]

title should be updated to say odd integer.