How to discharge assume in formal proof give several examples? a) By proving the assumption directly b) By reaching a contradiction using the assumption c) By showing that the assumption leads to an absurd conclusion d) By substituting the assumption with a proven theorem