畢式定理 (10)