setTheorems