畢式定理 (05)的副本