xy<0は|x+y|>x+yであるためには（最低限）必要な条件　　？
xy<0は|x+y|>x+yであるための充分な条件　　？
て考えるけど、俺は。