唯达定理是否有不等式