从，概括出第个式子为。