Alkiviadis G. Akritas: A simple proof of the validity of the reduced prs algorithm. Computing 38(4): 369-372 (1987)