 Assume to obtain a contradiction that \(KS\) is not true. Then what \(KS\) expresses cannot be the case, that is, \(KS\) must be known by someone. Since everything known is true (this is part of the definition of the concept of knowledge), \(KS\) is true, contradicting our assumption. This concludes the proof that \(KS\) is true. 