第七十三章：证明弱化Weyl_Berry猜想