knowledge is closed under logical entailment
if you know some proposition and it logically entails a second proposition, then you know the second proposition
you cannot know a proposition unless it is entailed by something else that you know