Pierre Fermat's Proof of the Sine Law of Refraction and Purpose