式减,关于式减的所有信息