Esto se debe a que en general es mucho mas facil chequear 2) que 1) (por ejemplo para el caso del anillo de enteros de un cuerpo de numeros).