English: So, this is a syntactic machinery of of arriving at proof of c which does not look at the meaning of the operators.
Telugu: కాబట్టి, ఇది C యొక్క రుజువు వద్దకు రావడానికి ఒక వాక్యనిర్మాణ యంత్రాంగం, ఇది ఆపరేటర్ల అర్థాన్ని చూడదు.