a. 证明，任何基于比较的算法将四个元素排序均需要5次比较。