"Herhangi 6 kişi arasında ya 3'ü karşılıklı tanışıyor, ya da 3'ü karşılıklı tanışmıyordur" önermesi genellikle hangi yöntemle ispatlanır?
