i'm not sure how this proves that the intersection of H and K is equal to the identity?
Doesnt this just prove that the identity is in the set?
I have shown that if an element is common to both subgroups then its order must be 1. But the only element with order 1 is the identity element. Thus the identity element is the only possible element common to both.