Prove that there are infinitely many distinct pairs $(a,b)$ of relatively prime positive integers $a > 1$ and $b > 1$ such that $(a^b + b^a)$ is divisible by $(a + b)$.