We need to show that left and right cosets agree. The left cosets of H are H and the complement of H, because there are 2 cosets and they must be disjoint. The same works for the right cosets. So they are equal.
--Nswitzer 17:08, 17 February 2009 (UTC)