From: fateman@gmail.com   
      
   Since there are undecidable problems in computer algebra system having to do   
   with zero-equivalence,   
   for example, see   
      
   https://en.wikipedia.org/wiki/Richardson%27s_theorem   
      
   your conclusion is false.   
      
   From this one can conclude that at least one of your premises is false, and/or   
   your method of   
   deduction is flawed.   
      
   RJF   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)