Some comment revision
OAAO Theorem formulated.