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.
लेकिन अंत में हम क्या कर रहे हैं हम इन मूल्यों को m और n के अंदर रख रहे हैं इसलिए हमने साबित किया है कि अंत में भी अपरिवर्तनीय धारण होता है।