The Astonishing Implicit Function Theorem Veinstein