Refutation of Algebra (reductio ad absurdum)