가 항상 성립한다고 가정함