Armed with definition, we now have an immediate and useful lemma. The average of the product of two independently distributed random variables is the product of their individual averages.
