式が間違っていなくて a, b が実数ならば十分条件だろう。