Mayor cota inferior es, alternativamente, el máximo común divisor.