用反证法证明“若a，b为实数，且ab＝0，则a，b至少有一个为0”的第一步应假设.