Make previous proof (preservation) a little clearer and do informal proof.
Do alternative preservation proof by induction over the 'step'.