by induction hypothesis we know t (id)

Synopsis:

by induction hypothesis we know term ( id )

Pre-condition:

Da Fare

Action:

Da Fare

New sequents to prove:

None.