\(N \leq K\) ならば \(NX\), そうでなければ \(KX+(N-K)Y\) である.