Der be[q|w]iesene Satz wird planmässig erzeugt; die Periodizität wurde nicht planmässig erzeugt. //
// Die Periodizität wurde nicht plan planmässig erzeugt. (Der bewiesene Satz wird planmässig erzeugt.) //