最大公因式的定义是什么?