Один из способов доказательства теорем с помощью обратной теоремы — метод «доказательства от противного». 14 Он предполагает замену доказательства прямой теоремы доказательством теоремы, противоположной к обратной. 1

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