Modular Arithmetic/Lagrange's Theorem

(WIP)