Twierdzenie Lagrange'a (równania kongruencyjne)