L’è stà el primo teorema importante a esar provà doparando un computer.