Proving Equal Lengths