Theorem 2.1 (Levy Reflection Theorem). Assuming that:

Then there are unboundedly many

𝜃

such that

φ

is absolute between

Z_{𝜃}

and

Z