अत: g, Z X में है; इसका मतलब है, c बराबर c जो कंटेंट है एक इन्टिजर होना चाहिए, यह कुछ ऐसा है जिसे हमने पिछले प्रोपोज़िशन में साबित किया था।
g என்பது Z இல் உள்ளது; அதாவது, c என்பது உள்ளடக்கம் ஒரு முழு எண்ணாக இருக்க வேண்டும், இது கடைசி கருத்தில் நாம் நிரூபித்த ஒன்று.