Лема

доведене твердження, потрібне для доведення іншого твердження, зазвичай – допоміжне твердження для доведення певної теореми