Claim: These are not the droid you are looking for.

Proof:
let D1 := {d | d is one these droids}
let D2 := {d | d is a droid you are looking for}

D2 ∩ D1 = D1 ∩ D2 = ∅
Hence: These are not the droids you are looking for. qed