OAAO Theorem formulated (again).
Merge branch 'Proving-the-OAAO-Theorem'