Discusión:Nuevo número primo supera la barrera de 10 millones de dígitos