changes theorem to factorial notation
Merge pull request #2 from kavitshah8/issue

changes theorem to factorial notation