User blog comment:LittlePeng9/Fundamental sequences for large ordinals/@comment-25418284-20140511062851/@comment-1605058-20140511064152

Theorem 8.8, page 55