Description: Lemma for prter2 . (Contributed by Rodolfo Medina, 17-Oct-2010)
|- ( A e. B -> -. A e. ( C \ { A } ) )