  The classical Pythagoras theorem, binomial theorem, de Moivre's formula, and
numerous other deductions are made using the uniqueness theorem for the initial
value problems in linear ordinary differential equations.
