Proof: Do Pre Extend 39 0

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	reverse and insert [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] to the beginning of [ ] = reverse and insert [ ] to the beginning of [ {"ES": "Spain", "MX": "Mexico"}, [ ] ]	reverse and insert [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] to the beginning of [ ] = reverse and insert [ ] to the beginning of [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] (Pre-extend)
2	reverse and insert [ ] to the beginning of [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] = [ {"ES": "Spain", "MX": "Mexico"}, [ ] ]	reverse and insert [ ] to the beginning of [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] = [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] (Pre-extend (3))
3	reverse and insert [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] to the beginning of [ ] = [ {"ES": "Spain", "MX": "Mexico"}, [ ] ]	reverse and insert [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] to the beginning of [ ] = [ {"ES": "Spain", "MX": "Mexico"}, [ ] ] (Pre-extend (2))

Comments

Please log in to add comments