Category:Sequential Right-Continuity is Equivalent to Right-Continuity in the Reals