Apply ordsuccI1 to the current goal.

An exact proof term for the current goal is In_1_6.

∎