इसलिए, उम्मीद है कि अब तुल्यता के बारे में संदेह है क्योंकि हमने प्रतिस्थापन प्रमेय पर विस्तार से चर्चा की है और हमने इसे पहले साबित कर दिया है।
So, hopefully there is now doubt about the equivalence because we have discussed the substitution theorem extensively and we have proved it earlier.