It is estimated that the new proof will eventually fill approximately 5,000 pages.
Estímase que a nova proba é de aproximadamente 5000 páxinas.