两个不同自然数的和，一定比这两个自然数的积小。