Prove mwov_length.