User blog comment:Wythagoras/BEAF:structures and ordinals/@comment-5029411-20131210213350/@comment-25418284-20131211011540

That's not a proof, that's an assertion.