THEOREM PROVING Англо-русский перевод THEOREM PROVING мат. доказательство теоремы Big English-Russian dictionary . Большой Англо-Русский словарь. 2012