theorem CCounter: :: FUZNUM_1:19

for C being non empty set
for F being FuzzySet of C holds Core F = F " {1}