Added Lagrange's theorem (badly) and Fermat's little

Could use a Timspection