Discrete Mathematics / Computer Science

Show that this program terminates using:

Please write the answer and explain.

Topics: Ramsey theory, Partial order relation, Proof by induction.

Thank you.

,nJ,fl,... ,n?, ,nj,f1,... ,nb) while w>0 and x>0 and y>0 and z>0 control-11,2,3} if control=-1 then else if control =2 then x-x-1 else y-y-1 Show that this program terminates using ,nJ,fl,... ,n?, ,nj,f1,... ,nb) while w>0 and x>0 and y>0 and z>0 control-11,2,3} if control=-1 then else if control =2 then x-x-1 else y-y-1 Show that this program terminates using