FindAccumulativeProof[{a_∘(a_∘b_)<->a_},3,p_∘(p_∘q_)<->(p_∘p_)∘p_,1,"SC"]