It's not too hard to remember that the mean and variance for X ~ B(n, p) are np and npq. But can we prove it?