English: Because, the inductive definition can be mathematically justified and then the program is obviously correct; obvious in quotes, because it follows directly from the recursive of the inductive definition.
Telugu: ఎందుకంటే, ప్రేరక నిర్వచనాన్ని గణితశాస్త్రపరంగా సమర్థించగలదు మరియు ఆ కార్యక్రమం స్పష్టంగా సరైనది; సూటిగా సంకేతాలలో స్పష్టంగా ఉంటుంది, ఎందుకంటే ఇది ప్రేరక నిర్వచన పునరావృత నుండి నేరుగా అనుసరిస్తుంది.