(若ac=bc则a=b)是不是命题