No infinite cycle