algorithm 1 gives the constructive procedure for finding euler circuits given in the discussion preceding theorem 1. (because the circuits in the procedure are chosen arbitrarily, there is some ambiguity. we will not bother to remove this ambiguity by specifying the steps of the procedure more precisely.)