Ф.Н. Пахомов. Лекция 19. Π2-консервативность WKL0 над PRA