Corrected error with TheoremChecker