设x1,x2,x3,x4,x5,x6,x7是自然数,且x1