AOCA lemma proved.