How do you prove a statement whose conclusion involves an "or" condition
(that is, a statement of the form "Given A, prove B or C is true")?