Quiz (1 point)
Prove that:
value at z in map [ entry x: 5, [ entry z: 8, [ ] ] ] = 8
The following properties may be helpful:
- value at key in map [ entry bad_key: value, remaining ] = value at key in map remaining
- value at key in map [ entry key: value, remaining ] = value
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.