Beweis

Durch doppelte Anwendung von Fakt auf die beiden durch bzw. gegebenen zweistrahligen Situationen erhält man