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

and

a subset of axa.

So what's the next obvious inference? And what can you draw out further from that inference?