The Hironaka theorem on resolution of singularities (Or: A proof we always wanted to understand) | Synapse