L'ancien manuel s'applique toujours parce qu'une démonstration ne crée pas l'équivalence; elle la formule ou la met en évidence, une distinction capitale traditionnellement.
Historiquement, les mathématiques et la physique ont toujours opéré sur le principe de la découverte de relations préexistantes, non leur invention.
Par exemple, la relation E=mc² n'a pas été "créée" par Einstein; il l'a découverte et formulée, de même pour les lois de la gravité.
Une preuve valide une relation, elle ne lui donne pas naissance, comme notre fonds sait que la valeur est découverte, pas générée par l'analyse.
Confondre une preuve avec un acte de création plutôt que de révélation est une divergence dangereuse de la tradition scientifique.