distribution law of function of random variable