Polynomring/Über Z/Faktoriell/Fakt/Beweis