Proof of Useful Propositions as to Stochastic Convergence HAPPYCAMPUS menu