Successfully proved 1_1_1_3.