Prove that:

[ 1, [ ] ] is greater than [ 0, [ ] ]

The following properties may be helpful:

compare bit stack [ 1, [ ] ] and bit stack [ 0, [ ] ] = [ 0, [ 1, [ ] ] ]
if compare bit stack xs and bit stack ys = [ 0, [ 1, [ ] ] ], then xs is greater than ys

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.

Become a subscriber to save your progress, see the correct answer, and more!