Para demostrarlas, Pascal pone en práctica una versión acabada de inducción matemática.