theorem Th29: :: STACKS_1:29

for X being StackAlgebra
for s being stack of X holds core s in coset s