Comprobador aritmético (Conjetura de Poincaré)