推论1：存在大学排名
推论2：所有大学排名都是线性序
引理：在任意排行中，高一名等价于吊打；同理，高一分等价于吊打
推论3：由推论1可知，吹某校等价于提高该校排名
推论4：由推论2可知，提高某该校排名必要条件是拉低排在它前面高校的排名
综上，吹子自带黑子属性；部分黑子是是某校吹子

标题太短沉了