4.2 philosophical proof of Fermat's Theorem