20060513 unknown: What is the difference between a theorem and a lemma?