indirect demonstration definition

• noun:
• (labeled as in addition reductio ad absurdum), where correct conclusion is an inference through the demonstration that some other theory must be incorrect.