问题描述：（男 , 18岁）牙洞到底是补还是不补好点呢？如果补牙洞的话，还要把那个磨的比以前那个洞更大，能不能不磨直接补？