Prove testing result on conditional probability

This commit adds a proof of what was Corollary 1, that the conditional
probability of rejection given E_T D_T =< 0 is actually less than or
equal to alpha.  I've also changed it to be listed as a Theorem instead
of a corollary.

Closes issue #2
Merge branch 'ref4'