Theorem alpha-omega