En 2019-01/apunte/src está la versión donde el mcd se define con "divide". Se ha modificado a lo que era antes en el sentido que inmediatamente se demuestra existencia y unicidad. En ...