  But then in view of assumption (2) we have that \(\Pr(\negt G \mid k) \gt 0\), while in view of assumption (3) we have that \(\Pr(P \mid G \amp k) \lt 1\), and thus that \([1 - \Pr(P \mid G \amp k)] \gt 0\),  so that it then follows from (9) that