Apply SNo_CSNo to the current goal.

An exact proof term for the current goal is SNo_0.

∎