theorem :: FCONT_1:17

for x0 being Real
for f being PartFunc of REAL,REAL holds f | {x0} is continuous ;