若ab则有