Sum-free subset definition
Erdos theorem (sum-free subset) theorem
Eberhard, Green, Manners theorem theorem
Large Independent set theorem
From this immediately follows:
Dominating set definition
Large dominating set
Ramsey numbers definition
Some observations
Ramsey number decomposition lemma
Erdos, Szekeres theorem theorem
From this follows: