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