what does an indirect proof rely on
a.a contradiction
b.a function
c.a product
d.a sum​