Lemma friend_puzzle :
  forall (person : finType) (friends : rel person), 
       irreflexive friends -> symmetric friends -> #|person| >= 2 ->
       exists x, exists y,#|friends x| = #|friends y| /\ x != y.