Update ProofTest

Fixed the inputs of testTheoroms, it runs but still fails the tests.