Bayes Theorem with multiple random variables I came across this expression in the Intro to Probability book I am studying:
$P(A,B|C)=\frac{P(C)P(B|C)P(A|B,C)}{P(C)}$
Could anyone please explain how is this obtained. From a simple application of Bayes Rule, shouldn't it be:
$P(A,B|C)=\frac{P(C|A,B)P(A,B)}{P(C)}$ where $P(A,B) = P(A|B)P(B)$ ?

The extension of Baye's rule is such that $$P(A,B|C)=\frac{\color{blue}{P(A)}\color{blue}{P(B|A)}P(C|A,B)}{\color{blue}{P(B)}P(C|B)}\tag{1}$$
The formula can be seen as an extension of $$P(A|B)=\frac{\color{blue}{P(A)P(B|A)}}{\color{blue}{P(B)}}\tag{2}$$ This is not a derivation of course; I'm just trying to show you that the $\color{blue}{\mathrm{blue}}$ terms are common to both $(1)$ and $(2)$ and if you reverse the conditioning for the extra variable ($C$) by placing the conditional probabilities in both numerator and denominator you arrive at $(1)$.
