Create TheoremSetTest.java