Объясните, в чём состоит доказательство от противного.

При доказательстве от противного предполагают, что утверждение неверно, то есть верным является противоположное ему утверждение.

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