A lesson on proof using some light number theory.