quality:correction, linguistic:translation
Well-known lemmas

Some powerful results in mathematics are known as lemmas, first named for their originally minor purpose. These include, among others:

While these results originally seemed too simple or too technical to warrant independent interest, they have eventually turned out to be central to the theories in which they occur.