theorem Th11: :: STACKS_1:11

for A being non empty set
for s being stack of (StandardStackSystem A) holds |.s.| = s