Si "a" y "b" son distintos de cero, entonces el máximo común divisor de "a" y "b" se obtiene mediante la siguiente fórmula, que involucra el mínimo común múltiplo de "a" y "b":