solution of the Poincaré conjecture