>>800
|A+c|≦|A|+|c|
以下略