При доказательствах методом перебора можно использовать компьютеры