英语省二测22_____________computer has been proved to be _________