Level: Lib Thy Top: 1
Hypotheses:

  1. n :

  2. k :

Conclusion:

(nk)

Applied Tactic: NatInd 2
Generated subgoals:

1. (n0)

2. (nk)