Motzkin–Straus theorem

GPTKB entity