remaining elements after [ [ 0, [ ] ], [ ] ] is popped at index [ 0, [ ] ] = [ ]

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