什么是公因式