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

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

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

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