Вопросы к Поиску с Алисой
Теорему о двух милиционерах называют леммой, потому что она считается «вспомогательной» теоремой, полезной не столько сама по себе, а для доказательства других утверждений. ria.ru
Название теоремы происходит от того факта, что если два милиционера под руки ведут задержанного в участок, то он вынужден идти вместе с ними. ru.ruwiki.ru ru.wikipedia.org