f \equiv (a,b) \in G_{1} \times G_{2}