theorem :: STACKS_1:49

for X being proper-for-identity StackAlgebra holds X, StandardStackSystem the carrier of X are_isomorphic