Die Gleichung von links und rechts wurde bereits in Fakt bewiesen. Die erste Gleichung ist auch ein Spezialfall von Fakt und die zweite Gleichung ist elementar.
