Der erste Teil folgt unmittelbar durch n {\displaystyle {}n} -fache Anwendung von Fakt (6), die beiden weiteren Teile ergeben sich daraus durch Berücksichtigung der Negation und Fakt (3).
