دع M= (R, +, ・, <,. . . ) يكون توسيعًا o-minimal للهيكل القياسي R= (R, +, ・, <) لحقل الأعداد الحقيقية. دع G تكون مجموعة Cʳ قابلة للتعريف و H مجموعة فرعية Cʳ قابلة للتعريف من G. نثبت أنه إذا كانت M تقبل تقسيم خلايا C^ω (أو C^∞) أو 0 ≤ r < ∞، فإن خريطة المدار π: G → G.
دراسة توموهيرو كاواكامي (الجمعة) هذا السؤال.