Esta demostración fue controvertida pues la mayoría de los casos fueron verificados con un programa de computador y no a mano.