我通过一个小程序验证了百万以内的数全部符合上述要求,但是却没想出一个好的办法来证明.