The first step is to construct (K S).
首先我们需要构造(K S)。