Запропонувати зміну A-proof