İki karmaşıklığı sınıfları farklı olduğunuzu gösteren bir teorem. Çoğu ayırma teoremleri köşegenleştirme tarafından ispat .