Some probabilities for normal distributions
We now give a few probabilities that hold for all normal distributions.