English: So, we know in advance that there will be only one free variable in this case, there cannot be two free variables.
Telugu: కాబట్టి, ఈ సందర్భంలో ఒకే ఫ్రీ వేరియబుల్ మాత్రమే ఉంటుందని మనకు ముందే తెలుసు, రెండు ఫ్రీ వేరియబుల్స్ ఉండకూడదు.