theorem Th50: :: ORDINAL6:50

for b being Ordinal
for g being Ordinal-Sequence-valued Sequence st dom g <> {} & ( for c being Ordinal st c in dom g holds
b is_a_fixpoint_of g . c ) holds
ex a being Ordinal st
( a in dom (criticals g) & b = (criticals g) . a )