Prove That AB T Btat