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

Proof: {X,X*n,X} = phi(w,n-1) and {X,X,X+1} = phi(w+1,0).