theorem CEmpty: :: FUZNUM_1:18

for C being non empty set holds Core (EMF C) = {}