Motzkin-Straus theorem