theorem Th10: :: STACKS_1:10

for X being StackAlgebra
for s being stack of X st |.s.| = {} holds
emp s