Odvození zákona lomu - FERMAT 1657