What you wrote is correct; after a few lines, you could get the result (replacing P(B) by 1-P(B complement) in the denominator, etc.). However this is not a very direct way to procede... What do you think of the following?:
implies (taking complement of boths sides), hence . qed.