English: So, that with a small task of finding a proof and what is the proof is a derivation which ends in an empty clause or a null clause.
Telugu: కాబట్టి, రుజువును కనుగొనే చిన్ని పనితో మరియు రుజువు ఏమిటి అనేది ఖాళీ నిబంధన లేదా శూన్య నిబంధనతో ముగుస్తుంది.