y se deduce a partir del principio de Fermat.