This condition turns out also to be sufficient-a result stated by Euler and later proven by Carl Hierholzer .
This result stated by Euler was later proved by Carl Hierholzer .