اثبات یک گزاره راهبردی در پکن