added proof for turan > r-partit