Teorema de la inversa de la divisibilidad