[...] 1+1=2 

Dem. [...]

The above proposition is occasionally useful. It is used at least three times, [...]

Bertrand Russell. Principia Mathematica. 1912. Volume II, p. 83 in the 2nd edition.