什么叫二元一次方程组的正整数解