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