Correct Answer.
We know that it is common knowledge that each woman knows whether the other woman's husband is unfaithful or not. This translates to the two formulas
C(KAb 
KA 
b) and
C(KBa KB a).
KA(KBa KB a) follows from the second of these two formulas.
Back to Question.
Next Question.