Probaron que los dos primeros tipos no podían ser iguales, o siquiera sistemas isomorfos de magnitud.