Beweis zur 0-1-Folge ausgebaut.