User:DavidKohler/Alon try 1/Theorem 4.2