Notice \(A \subseteq S\text{.}\) By the previous theorem 4.3.6 \(P(A) \le P(S) = 1\)