Большой англо-русский словарь (с транскрипциями) IMMEDIATE derivability мат. непосредственная выводимость