[math-fun] |A|+|B|=|C|