Se termina de demostrar el lema de Dedekind.