result of sorting [ [ 1, [ ] ], [ [ 0, [ ] ], [ ] ] ] = [ [ 0, [ ] ], [ [ 1, [ ] ], [ ] ] ]

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