Teoremas sobre existencia de circuitos/caminos hamiltonianos