Left Cosets are Equal iff Element in Other Left Coset/Proof 1