Christoffel-Darboux Formula