Dann gibt es auch mehrere unabhängige Beweise des gleichen Satzes. etc.