Quiz (1 point)
Prove that:
index of value x in [ x, [ ] ] = 0
The following properties may be helpful:
- index of value v in els = index of value v in els with current index 0
- a = a
if el = val, then index of value val in [ el, remain ] with current index idx = idx
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.