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