1) Show that the following derivability claims hold in SD+: a. {[(...