Do verify-concat-of-toList proof.