【概率问题】求证概率密度的一条性质