Man kann sagen: der Beweis
demonstriert eine innere || interne Eigenschaft einer Struktur (eines Satzes, einer Zahl, etc.) & diese kann aus den verschiedensten || verschiedenartigsten Gründen wichtig sein.