Title: A commentary on Lagrange's Congruence