Create TheoremSetTest