畢式定理 (09)