for A being non empty closed_interval Subset of REAL
for n being non zero Element of NAT
for f being Function of A,(REAL n) holds
( f is bounded iff |.f.| is bounded )