A theorem used in a proof as a stepping stone, or helper