  In this paper, we study the double Danielewski varieties which arose from the
research on the classical Cancellation Problem. We describe the Makar-Limanov
invariant and locally nilpotent derivations of these varieties. And in a
subsequent paper we will describe the automorphisms groups of the varieties and
verify that the varieties are counterexamples to the Cancellation Problem.
