Rhet gre 1397a8-9(8) δεῖ γὰρ σκοπεῖν εἰ τῷ ἐναντίῳ τὸ ἐναντίον ὑπάρχει, ἀν(9)αιροῦντα μὲν εἰ μὴ ὑπάρχει, κατασκευάζοντα δὲ εἰ ὑπάρχει,
Rhys Roberts 1924 engPart 23. 1. One line of positive proof is based upon consideration of the opposite of the thing in question.
http://www2.hf.uio.no/common/apps/permlink/permlink.php?app=polyglotta&context=record&uid=cf98435e-1d51-11e7-ba66-0050569f23b2