Pull out common Group proofs