theorem :: ZFMISC_1:132

for x being set
for X being trivial set st x in X holds
X = {x}