જો કે, આ બધું ઔપચારિક રીતે સાબિત થઈ શકે છે અને તમે ઔપચારિક ગાણિતિક દલીલોના આધારે આ શરતો મેળવી શકો છો.
तथापि, हे सर्व औपचारिकपणे सिद्ध केले जाऊ शकते आणि आपण या कंडिशन औपचारिक गणिताच्या युक्तिवादाच्या आधारे मिळवू शकता