--- Why was Professor Zhang unhappy recently?
--- Because the theory he insisted on _____ wrong.
A proved   B proving    C being proved    D was proved