In this proof, we use the "Reversing a List" properties 1 and 2 prove that the reverse of an empty list is simply an empty list.

Quiz (1 point)

• reverse of xs = reverse of remaining stack xs and already reversed stack [ ]
• reverse of remaining stack [ ] and already reversed stack [ ] = [ ]

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

Step	Claim	Reason (optional)	Error Message (if any)
1
2
3
4
5
6
7
8
9
10

Add Step Reset

Become a subscriber to save your progress, see the correct answer, and more!