Update TheoremSet.java

Apparently fully functional