Se puede consultar una demostración directa del Teorema de Ore en [Theorem 6.2.5].