牙开了个洞，用补吗