User talk:SnowStorm
Per Mr. Crawford's suggestion, I will keep a list of my contributions.
1) Wilson's Theorem
2) Sample of Fermat's Little Theorem
3) Divisibility
4) Ceva's Theorem
5) Menelaus' Theorem
6) Stewart's Theorem
7) Overcounting
TODO
4) Add proof, clean up example
5) Add proof, add example
6) Add proof, add example
7) Find better example