Quiz (1 point)

• remaining elements after xs is popped at index idx = remaining elements after xs is popped at index idx and visited stack is [ ]
• remaining elements after [ x, xs ] is popped at index 0 and visited stack is ys = reverse of (result of dumping xs to ys)
• result of dumping [ ] to xs = xs
• reverse of [ ] = [ ]

• if result of dumping [ ] to [ ] = [ ], then reverse of (result of dumping [ ] to [ ]) = reverse of [ ]

• if the following are true:

  • a = b
  • b = c
  • c = d

  then a = d

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