English: So, formally what we have to ensure is that this guarantee of finding an n which divides m, so this is where gcd actually exits without calling itself.
Telugu: అధికారికంగా మనం నిర్ధారించుకోవాల్సిన విషయం ఏమిటంటే, mని విభజించే nని కనుగొనే హామీ, ఇక్కడే gcd వాస్తవానికి కాల్(call) చేయకుండానే నిష్క్రమిస్తుంది.