However, before it was lost, it was seen and praised by G. W. Leibniz (co-discoverer with Newton of the differential and integral calculus).
This state of affairs challenges us to try to reconstruct the lost proof, that is, to give a proof using only the results and methods that were available in Pascal's time.