2007的2007次方加上2009 能被2008整除用二次式证明