1: $-finite, the topology of local convergence in measure is metrizable and $