Update TheoremSet.java