Wilson-Lagrange Theorem