Большой англо-русский словарь (с транскрипциями) PROOF by matrices мат. доказательство с помощью матриц