The theorem on friends and strangers is a mathematical theorem in an area of mathematics called Ramsey theory.