То, что я написал -- ни разу не формула Байеса. Но если маленько почесать левой ногой по правому уху -- то да, и формула Байеса может в конце концов выползти. Мне любопытно,как это у Вас выйдет.
Вот тут написано:
первая же формула в док-ве. Никогда не думала, что формула Байеса для Вас - это исключительно, когда в знаменателе

расписана по формуле полной вероятности, а в числителе вероятность - по теореме умножения. А если, не дай бог, не расписано - это уж не Байес, конечно. Бедные студенты, они и не подозревают, решая задачи из двух пунктов - на ФПВ и ФБ, и подставляя во втором пункте готовую

из первого пункта в знаменатель, и готовый кусок этой суммы - в числитель, что уже вышли за пределы формулы Байеса... Непременно запрещу им так делать, или писать при этом, что они испоьзуют формулу Байеса.