RCA0でΠ11-CA0と次の定理が同値.
11