On the Asymptotic Formula for the Probability of a Type I Error of Mixture Type Power One Tests