Topolojnin 1930'ların başından beri gündeminde olan şu zorlu sorunun
Her yetkin normal yerel Öklidyen uzay(manifold) metriklenebilir midir?
sonunda 1979 yılında, aslında ZFS Aksiyomatik Modelinde kararlaştırılamaz bir soru olduğunun anlaşılmasına ulaşılan çözüm sürecinde olağanüstü rolü olan ünlü Reed & Zenor Teoreminin sağlıklı ve ayrıntılı kanıtlaması bu yazıda verilmiştir.