Talk:Strong perfect graph theorem