(a n b n c) = (a n b n c) u (a n b n c) u (a n b n c) oben auf der linken Seite einsetzen und mit Hilfe von (x n y) u (X n y) = y erhält man die rechte Seite
@Hawk: wie kommst denn auf einsetzen x_X, da rechnest ja zig mio Jahre hin
einfach (a n b) ausklammern dann hat man schon den ersten teil und den muss man dann mit der distributivgesetztierten Klammer vom Rest ausmultipliziern und etliche omega fallen raus, genau 3