Ist es aber richtig daß „(n)φn” sagt „es ist allgemein φξ bewiesen”?