proving 1_1_1_3_1 by the stronger inductive hypothesis
Successfully proving 1_1_1_3 and 1_1_1_3_1. Still nedding to prove 1_1_1_3_1_1-5
Successfully proved 1_1_1_3.