Sin embargo, el método utilizado por Hales en la demostración no es exhaustivo, por lo que no está dilucidado el problema.