Der bewiesene Satz wird planmäßig erzeugt; die Periodizität wurde nicht planmäßig erzeugt. ||
Die Periodizität wurde nicht planmäßig erzeugt. (Der bewiesene Satz wird planmäßig erzeugt.)