设 $A$ 为 $n$ 阶正定矩阵，$B$ 为 $n\times m$ 实矩阵。证明：若 $\operatorname{rank}B=m$，则 $B^TAB$ 为正定矩阵。