proof of consecutive ordinals #01