theorem :: FUZNUM_1:20

for C being non empty set
for F being FuzzySet of C holds Core F = 1 -cut F