theorem
  for p being Point of TOP-REAL n for r being real-valued Function st
  p = r holds x*p = x(#)r;
