Which of the following mathematical statements is a necessary and sufficient condition for two events $E$ and $F$ (with non-zero probabilities) to be independent?