User blog comment:Wythagoras/BEAF:structures and ordinals/@comment-1605058-20131210201100/@comment-10429372-20131211062608

Fixed, now it is for n>1.