Quiz (1 point)
Prove that:
result of storing 5 at key: a in map: [ ] = [ entry a: 5, [ ] ]
The following properties may be helpful:
- result of storing value at key: key in map: entries = output of function store_compute where input key is key, value is value, map is entries, and processed map is [ ]
- output of function store_compute where input key is key, value is value, map is [ ], and processed map is kvs = reverse of [ entry key: value, kvs ]
- reverse of [ x, [ ] ] = [ x, [ ] ]
if the following are true:
- a = b
- b = c
then a = c
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.