Let be a commutative group. Let and be subgroups of . If , then .
However, what if ? We will consider the general scenario, where and are any subgroups of , provided is not a proper subgroup of .
In the case that , we have .
I have arrived upon this result myself. I don’t know if it is already known.