How do you prove #cosh(2x) = cosh²x + sinh²x#?