Wozu kann so eine Folge von Zeichen, wie sie der Beweis ist, nütze || nützlich sein?