complete point-finite and sigma-product convergence equivalence