E8-Singularität/Faktoriell/Fakt/Beweis