Proof: Do Len At 15

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	length of stack [ ] = length of remaining stack [ ] with count 0	length of stack [ ] = length of remaining stack [ ] with count 0 (List Length Property)
2	length of remaining stack [ ] with count 0 = 0	length of remaining stack [ ] with count 0 = 0 (Empty List Length Property)
3	length of stack [ ] = 0	if length of stack [ ] = length of remaining stack [ ] with count 0 and length of remaining stack [ ] with count 0 = 0, then length of stack [ ] = 0 (Transitive Property of Equality)

Comments

Please log in to add comments