证明：如果标准形式的线性规划存在非退化的最优基可行解，其对偶规划必有唯一最优解

要证明标准形式的线性规划存在非退化的最优基可行解，其对偶规划必有唯一最优解，我们需要使用线性规划的基本定理，也就是弱对偶定理和强对偶定理。

首先，根据弱对偶定理，原问题的最优解必然大于等于对偶问题的最优解。另外，根据强对偶定理，当原问题存在非退化的最优基可行解时，对偶问题也必然存在唯一最优解。

因此，如果标准形式的线性规划存在非退化的最优基可行解，其对偶规划必有唯一最优解。