substring theorems
Merge pull request #32 from yushan87/theorem-fix

substring theorems