add a check for a > b to pseudocode of eucalg
tweak wording under coprime section