F分布性质证明