Tamref's Last Theorem

Theorem
The Diophantine equation:
 * $n^x + n^y = n^z$

has exactly one solution in integers:


 * $2^1 + 2^1 = 2^2$