A:of him to play
B:for him to play
C:of him playing
D:for him playing
已知方程组x2+2y=1y=1-x把(2)代入(1)得到正确的方程是( )