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