let [verb] + theorem [noun]