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