For what it's worth, here's as much of a proof as I can work out

by one of the definitions of a conditional probability. And since by the same definition

The only way that

under the assumption that A and B are independent is if

under the same assumption. And you can use the same identity in the opposite direction to reduce the right side to

which I'm not sure about