Erdös-Ko-Rado theorem