theorem Th14: :: STACKS_1:14

for X being StackAlgebra
for s1, s2 being stack of X st s1 == s2 & emp s1 holds
emp s2