one nice thing about this argument is not just that it's sound, but also that it shows us how sound deductive reasoning can sometimes lead us to knowledge of truths that we wouldn't have suspected heretofore.