On the cohomology ring of a simple hyperkähler manifold (on the results of Verbitsky)