Create TheoremSet