若x不等于y或x不等于-y,则绝对值x不等于绝对值y