The top documents tagged [proof of inductive step]