畢式定理 (11)