I was going through this paper by Tanaka but I am stuck at Proposition 4.1 given below . I just cannot make sense of the first two lines of the proof. What does it mean when he says S-reducible and reducible? I tried searching online also but could not find anything, nor does the author refer to anything.

Can someone help me with this?

Thanks and regards in advance.