Agrawal%27s conjecture

undefined