Большой англо-русский словарь (с транскрипциями) INFORMAL demonstration мат. содержательное доказательство