三素数定理的推论