凸があれば凹がある