用反证法证明“a，b∈N^* ， 若ab是偶数，则a，b中至少有一个是偶数”时，应假设．