Quiz (1 point)
Prove that:
length of stack [ ] = 0
The following properties may be helpful:
- length of stack xs = length of remaining stack xs with count 0
- length of remaining stack [ ] with count count = count
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.