Der einzige Beweis, dass zwei Beweise dasselbe beweisen, ist, dass sie in einander überführbar sind.