以“如果贪污腐化，就会构成犯罪”为前提，进行正确的充分条件假言三段论推理，其小前提可以是（）。