Почему некоторые математические утверждения называются леммами, а не теоремами?

Некоторые математические утверждения называются леммами, а не теоремами, потому что они имеют другое назначение. ru.wikipedia.org

Лемма — это доказанное утверждение, которое полезно не само по себе, а для доказательства других утверждений. ru.wikipedia.org nsportal.ru По этой причине лемму также называют «вспомогательной теоремой». ru.wikipedia.org

Лемму можно считать второстепенным результатом, единственной целью которого является помощь в доказательстве более существенной теоремы. ru.wikipedia.org

При этом между леммой и теоремой нет формального различия, только различие по намерению. ru.wikipedia.org