畢式定理 (03)