Entonces, "M" es primo si y sólo si