theorem Th34: :: STACKS_1:34

for X being StackAlgebra
for S being stack of (X /==) ex s being stack of X st S = Class ((==_ X),s)