theorem Th37: :: STACKS_1:37

for X being StackAlgebra
for S being stack of (X /==) holds
( emp S iff S = the s_empty of X )