A version of the ∑1-reflection principle for CFA provable in PRA Peter Päppinghaus OriginalPaper Pages: 27 - 40