Quiz (1 point)
Prove that:
index of value [ 0, [ ] ] in [ [ 0, [ ] ], [ ] ] = [ 0, [ ] ]
The following properties may be helpful:
- index of value value in numbers = index of value value in numbers with current index [ 0, [ ] ]
- [0,[]] = [0,[]]
- if are_equal_list(number, value): find_number_index([number, remain], value, index) == index
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.