factor discriminant of 253-rd cyclotomic polynomial