（用逆否命题）A对∀a，b∈S，必有aba=aB对∀a，x，y∈S，若ax=ay，必有x=yC对∀a，b，c∈S，必有abc=acD对∀a∈S，必有aa=a