Constructs a theorem proving a conjunction from its individual conjuncts
DESCRIPTION
Takes a term which should be a conjunction, and returns a theorem whose
hypotheses are the individual conjuncts, and whose conclusion is the argument
term, the conjunction.