Now for the converse direction. We will work in cases, first we will assume that are both odd and then that both are even. If both are odd then order of in cannot be (by above argument) so , likewise . If both are even then since is odd and so (since there are only two cosets the ones different from must be equal). Regardless, in whatever case and so , so .