[ars]

Maybe you can prove step 1, but step 2 is clearly false - a much greater difficulty is having an adversary unmaking what you make.