English: If you have another formula which matches alpha implies beta, then you can add the formula which matches beta to the set essentially this alpha and beta could be arbitrarily compound from.
Telugu: మీరు α తో సరిపోయే మరొక సూత్రాన్ని కలిగి ఉంటే, అప్పుడు మీరు బీటాతో సరిపోయే సూత్రాన్ని సెట్‌కు జోడించవచ్చు, ముఖ్యంగా ఈ α మరియు β ఏకపక్షంగా సమ్మేళనం కావచ్చు.