theorem Th32: :: STACKS_1:32

for X being StackAlgebra
for s, s1, s2 being stack of X st s1 in coset s & s2 in coset s & |.s1.| = |.s2.| holds
s1 = s2