add more explanation for coprimeness to eucalg