The proof I know is fairly straightforward but does take a bit of manipulation.
I'll lead you through it by asking you questions, if you like.
Use proof by contradiction.
So there is a c such that c in a
a subset of axa.
So what's the next obvious inference? And what can you draw out further from that inference?