畢式定理 (13)