प्रमाण चार परतों में जाँचा गया था, और विधि Λ ≤ 0 तक नहीं पहुँच सकती, जैसा कि पूर्ण पोस्ट में समझाया गया है।