В приведенном мной решении формула Байеса и не использовалась. Использовалась формула для условной вероятности. ТОчнее, ОПРЕДЕЛЕНИЕ условной вероятности.