prove another helper theorem for term_to_cert