If ax +b = 0 is linear equationin one variable, what value is not possible for a About the author Isabelle
a cannot be equal to zero