i (source code)

= i
{scope}

Coprimality makes the intersection trivial by the subgroup-order divisibility theorem.