On the average of a certain Wiener functional and a related limit theorem in calculus of probability