What was Fermat’s “Marvelous" Proof?