“Actually, (8) is classical; it is a formula of Laplace first proved properly by Jacobi; and (9) occurs in a paper published by Rogers in 1907”, Hardy (1913).