= i {scope} Coprimality makes the intersection trivial by the subgroup-order divisibility theorem.
Back to article page