1 subgoal ============================ 1 = 1 1 subgoal ============================ 1 = 1 1 subgoal ============================ 1 = 1