Therefore it is known that the assumption 'k is known' is false, i.e., it is known that k is unknown...