इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें जब'' X'' एक चिकनी विविधता है, तो इसका सुलिवन न्यूनतम मॉडल'' X'' पर चिकनी अंतर रूपों के परिवर्तनीय अंतर ग्रेडेड बीजगणित के लिए एक न्यूनतम मॉडल है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "जब 'X' एक चिकनी विविधता है, तो 'X' पर चिकनी अंतर रूपों का अंतर बीजगणित 'X' के लिए एक मॉडल है और इसलिए तर्कसंगत समस्थानिक प्रकार को निर्धारित करता है। "