It's the conditional Bayes theorem:

Some conditions, blah blah

Then

I'm fine with the bulk of the proof, it's just that it starts off by defining

if and Y = 0 otherwise

Then it says we need to show

But I don't really see that

In fact if Then the RHS of the formula is undefined! So.... what's going on here? :S

Thanks for any help!