畢式定理 (12)的副本