Nein. Er entspricht einem Beweis aber er ist nicht bewiesen.
  Der „Beweis” ist die arithmetische Tatsache, die der algebraische Satz bezeichnet.