畢式定理 (12)