Quiz (1 point)
Prove that:
remaining elements after [ [ x, [ ] ], [ ] ] is popped at index [ 0, [ ] ] = [ ]
The following properties may be helpful:
- remaining elements after xs is popped at index index = reverse of (remaining elements after xs is popped at index index and visited stack is [ ])
- remaining elements after [ x, xs ] is popped at index [ 0, [ ] ] and visited stack is ys = result of dumping xs to ys
- result of dumping [ ] to xs = xs
- reverse of [ ] = [ ]
if the following are true:
- a = b
- b = c
then a = c
if remaining elements after [ [ x, [ ] ], [ ] ] is popped at index [ 0, [ ] ] and visited stack is [ ] = [ ], then reverse of (remaining elements after [ [ x, [ ] ], [ ] ] is popped at index [ 0, [ ] ] and visited stack is [ ]) = reverse of [ ]
if the following are true:
- a = b
- b = c
then a = c
if the following are true:
- a = b
- b = c
then a = c
Please write your proof in the table below. Each row should contain one claim. The last claim is the statement that you are trying to prove.