小孩牙齿有个小洞需要补吗