数学的第一类间断点中的可去间断点