At a party, someone has no friends. What type of logical proof is being suggested?
a) Proof by induction
b) Proof by contradiction
c) Direct proof
d) Counterexample