x_p1:=ZX.1^2-1; LeadingCoefficient(x_p1); x_p2:=5*ZX.1^2-1; LeadingCoefficient(x_p2);