Proof of CAAO lemma in progress.