gausss cyclotomic formula