Fermat’s Theorem on Sums of Two Fourth Powers