There are two alternative methods of proving wrong a conjecture that something is impossible: by counterexample (constructive proof) and by logical contradiction (non-constructive proof).
Існує два альтернативні способи довести неправильну гіпотезу про те, що щось неможливо: контрприклад (конструктивний доказ) і логічне протиріччя (неконструктивний доказ).