An algebraic loop theorem and the decomposition of PD3‐pairs