updated Theorem, TheoremChecker