$a$ is an integer. Prove algebraically that the sum of $a(a+7)$ and $a+16$ is always a square number.