Unsilence deprecation warning regarding list lemmas.

I think having our own (direct) version of this two line proof (instead of going via an equivalent to a stdlib def) is less problematic than missing out on other deprecation warnings.