Avramov's result

Finally!