3^x + 4^y equals 5^z has Unique Solution

Theorem
The Diophantine equation:
 * $3^x + 4^y = 5^z$

has exactly one solution in integers:


 * $3^2 + 4^y = 5^2$