An elegant proof of Snell’s law using Fermat’s...