theorem :: FINANCE3:5

for Omega being non empty set holds Omega --> 1 is Function of Omega,REAL by XREAL_0:def 1, FUNCOP_1:45;