내실있다고 가정하고