Denn auch “bewiesen” wird zeitlich & unzeitlich gebraucht.
     Wenn wir in der Mathematik
sagen: “der Satz … ist bewiesen”, so heißt es nicht: die Beweisfigur … ist hingeschrieben worden – sondern: es gibt etwas was wir “Beweis” || “Beweisfigur” dieses Satzes nennen.
     Man kann also sagen: der Satz “der Satz … ist bewiesen” ist ein grammatischer Satz.