A general property of random walk