A good point, but as an engineering geologist rather than a mathematician I have relied on Schum's handbook of Mathematical Identities and the like for 40 yrs, without feeling the need to prove each one. I think it is about a matter of trust, checking and use where appropriate, but if I can use...