Category:Equivalence of Definitions of Removable Discontinuity of Real Function