Your proofs must be formal (state what you're trying to prove, number each proposition, justify each step, and end with QED after you've proven what was supposed to be proved): (a) Write a formal direct proof of the theorem AB,DC,BC,AD (b) Write a formal indirect proof (meaning you must start with A and use that to reach a contradiction) of the theorem : D,BA,BC,CDA