theorem Th26: :: STACKS_1:26

for X being StackAlgebra
for s being stack of X st emp s holds
core s = s