Der Ausdruck
ist äquivalent zum Ausdruck
und der Ausdruck
ist äquivalent zu
Der Gesamtausdruck ist somit äquivalent zu