定数でないなら P(x≧a),P(X<a) がともに 0 でない a がとれる。XとXが独立なら

 P(x≧a)P(X<a) = P(x≧a ∧ X<a)

でなければならない