## by induction hypothesis we know

`by induction hypothesis we know t (id)`

- Synopsis:
**by induction hypothesis we know** *term* ** (** *id* **)**

- Pre-condition:
To be used in a proof by induction to state the inductive
hypothesis.

- Action:
Introduces the inductive hypothesis.

- New sequents to prove:
None.