Possibility of inductive proof on leading term?

Printable View