theorem Th22: :: METRIZTS:22

for TM being metrizable TopSpace
for iC being infinite Cardinal holds
( weight TM c= iC iff density TM c= iC )