Smoothly equivalent real analytic proper G-mainfolds are subanalytically equivalent. Sören Illmann — 1996 Mathematische Annalen