When a theorem proves itself, Or lemma comes to mind, I wonder where it all came from, What made the truth derive. The answer was there all along, In what was known before, But would not come before its time, As though in need of light, To blossom as a flower does, From beauty folded tight, As widespread petals of ideas Form patterns of delight. So when a theorem proves itself, Or lemma comes to mind, I marvel at the way it came, And made the truth derive.