So, our goal is to show that the algorithm, the solution A produce by our algorithm is actually correct.
അതിനാൽ, അൽഗോരിതം, ഞങ്ങളുടെ അൽഗോരിതം നിർമ്മിച്ച പരിഹാരം A യഥാർത്ഥത്തിൽ ശരിയാണെന്ന് കാണിക്കുക എന്നതാണ് ഞങ്ങളുടെ ലക്ഷ്യം.