theoreme kn/2 aretes