return constant instanceof ANumber && ((ANumber) constant).isZero();
}
@Override
public Expression apply() {
OrderedPair factor = p.euclideanDivision(Polynomial.create(x, x));
return new Equality(new Multiplication(factor.a(), x), Naturals.zero());
}