Lemma OW-17.012

Lemma