Источник TeX:
P(B) \neq 0