5^x + 12^y equals 13^z has Unique Solution

Theorem
The Diophantine equation:
 * $5^x + 12^y = 13^z$

has exactly one solution in (strictly) positive integers:


 * $5^2 + 12^2 = 13^2$