尼科梅彻斯定理编程高中for