Revisiting completeness for the Kn modal logics: A new proof