Proof that a join of two propositions is a proposition