English: If you give with an unsatisfiable formula it will there will a derivation which will derive the null clause from the set of unsatisfiable formula is it going to help us.
Telugu: మీరు సంతృప్తి చెందని ఫార్ములాతో ఇస్తే, అది సంతృప్తికరంగా లేని ఫార్ములా యొక్క సమితి నుండి శూన్య నిబంధనను పొందే ఒక ఉత్పన్నం ఉంటుంది.