English: Now, for b 1 we have clearly checked both cases explicitly, what about b 2, can we be sure that we are checking all cases are b 2 ?
Telugu: ఇప్పుడు, బి 1 కొరకు మనము రెండు కేసులను స్పష్టంగా తనిఖీ చేసాము, b 2 గురించి, మనము అన్ని కేసులను తనిఖీ చేస్తాం అని నిర్ధారించుకోవచ్చు.