彩票涉及哪些定理