Extremal graph theory: prove Turan's theorem