畢式定理 (02)