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