theorem :: GLIBPRE0:18

for X being set holds singletons X misses 2Set X