畢式定理 (01)