关于最大公因式的一个定理的证明问题