5.254

Die Operation kann verschwinden (z. B. die Verneinung in „p“: p=p).