theorem Th4: :: ZF_REFLE:4

for W being Universe holds W |= the_axiom_of_power_sets