Primera parte de la demostración de Dedekind.