Quiz (1 point)

• 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 [ [ 0, [ ] ], [ [ 1, [ ] ], [ ] ] ] is popped at index [ 1, [ ] ] and visited stack is [ ] = [ [ 0, [ ] ], [ ] ]
• reverse of [ [ 0, [ ] ], [ ] ] = [ [ 0, [ ] ], [ ] ]

• if remaining elements after [ [ 0, [ ] ], [ [ 1, [ ] ], [ ] ] ] is popped at index [ 1, [ ] ] and visited stack is [ ] = [ [ 0, [ ] ], [ ] ], then reverse of (remaining elements after [ [ 0, [ ] ], [ [ 1, [ ] ], [ ] ] ] is popped at index [ 1, [ ] ] and visited stack is [ ]) = reverse of [ [ 0, [ ] ], [ ] ]

• 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.