Strong Perfect Graph Theorem