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