De contrapositieve bewering

((Te doen.))

A → ¬B ⇔ B → ¬A

„Wie niet voor Mij is is tegen Mij” betekent hetzelfde als „Wie niet tegen Mij is is voor Mij”