On elementary cuts in models of arithmetic - Kotlarski, Henryk (1981)