Este fue históricamente el primer problema para el cual la irresolubilidad pudo ser probada.