The addition formula for the eigenfunctions of the Laplacian