Since there are undecidable problems in computer algebra system having to do with zero-equivalence,
for example, see
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.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)