In his 2014 book, Giovanni Ferraro writes at beginning of chapter 1, section 1 on page 7: Capitolo I Esempi e metodi dimostrativi Introduzione In The Calculus as Algebraic Analysis, Craig Fraser, riferendosi all'opera di Eulero e Lagrange, osserva: A theorem is often regarded as demonstrated ...