Theorem Solutions on SplitClub