Solution of the Poincaré conjecture