Strong perfect graph theorem