Source: http://www.cs.cornell.edu/courses/cs2800/2014fa/lnotes/30_modular.pdf