Update TheoremSetTest.java

trivial change to invalidTest8