用反证法证明命题“若a，b是整数，且ab能被5整除，则a，b中至少有一个能被5整除”时，应先假设.