If z is a function of y having a differential coefficient at a certain point, and y is a function of x having a differential coefficient at the corresponding point, then z is a function of x having a differential coefficient at that point, and this differential coefficient is given by the formula
This theorem, thought not always stated so carefully, will be found in all texts on the calculus; but, so far as I am aware, no English writer, not even the most exact, offers a valid proof.