Prove that Universal Instantiation is sound and that Existential Instantiation produces an inferentially equivalent knowledge base.