theorem :: WAYBEL18:17

for I being non empty set
for T being Scott TopAugmentation of product (I --> (BoolePoset {0})) holds T is injective