Доказательство является истинным на основании демонстрации — логического вывода, устанавливающего истинность тезиса.
Ответ: демонстрации.