Die erste Aussage kann man als
und die zweite Aussage als
formalisieren. Aus der Fallunterscheidungsregel ergibt sich die Gültikeit von