|x|=|y|