lemma 1 вспомогательное предложение 2 подготовительная теорема Англо-русский словарь морских терминов