लेकिन अंत में हम क्या कर रहे हैं हम इन मूल्यों को m और n के अंदर रख रहे हैं इसलिए हमने साबित किया है कि अंत में भी अपरिवर्तनीय धारण होता है।
But at the end what are we doing we are placing these values inside m and n so therefore we have proved the invariant holds also at the end.