Ответ:

При доказательстве от противного временно предполагают, что утверждение, которое требуется доказать, неверно. Из этого предположения выводят следствие, противоречащее условию, известной теореме или уже установленному факту. Поэтому предположение неверно, а исходное утверждение верно.