Fuente TeX:
b = b^* mcd(a,b)