Euler circuit theorem