a为整数,证明a的平方减a大于等于0