|xy|+1=|x|+|y|