Labels on theorems about Euler graphs were added.
Final theorem on Euler graphs added.