another helper theorem for term_to_cert; not sure if this is the right approach to take