  We develop a new method to deal with the Cancellation Conjecture of Zariski
in different environments. We prove the conjecture for free associative
algebras of rank two. We also produce a new proof of the conjecture for
polynomial algebras of rank two over fields of zero characteristic.
