इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें एक स्थानीय रूप से कॉम्पैक्ट क्वांटम समूह की परिभाषा से, यह दिखाया जा सकता है कि सही-अस्थिर KMS भार \\ psi स्वचालित रूप से वफादार है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "स्थानीय रूप से कॉम्पैक्ट क्वांटम समूह की परिभाषा से, कोई यह साबित कर सकता है कि सही-अपरिवर्तनीय भार \\ psi स्वचालित रूप से वफादार है, यही कारण है कि \\ psi की वफादारी को प्रस्तावित करने की आवश्यकता नहीं है".