数学中的主元法是什么