reverse of [ 1, [ 2, [ 3, [ 4, [ ] ] ] ] ] = [ 4, [ 3, [ 2, [ 1, [ ] ] ] ] ]

Start from the conclusion and work back up the proof. Click the arrow to show the parents.