CAAO lemma proved.