The contradictory of a universal affirmative is a universal negative.

Qiyās al-Khalf: Compound Reductio, Impossibility and Proof of the Claim