for f being FinSequence of (TOP-REAL 2)
for p being Point of (TOP-REAL 2) holds R_Cut (f,p) <> {}