 If (K-0) is true then it known to be false. Whatever is known to be false, is false. Since no proposition can be both true and false, we have proven that (K-0) is false. Given that proof produces knowledge, (K-0) is known to be false. But wait! That is exactly what (K-0) says – so (K-0) must be true.