It's like a little 'observation' in mathematics. Something too small to be given the name 'Theorem', basically. Or a step *towards* a theorem that needs a bunch of steps in place before it can all be put together.