A n+1-tuple (h1,h2,⋯,hn+1) where hi(x1,x2,⋯,xn) are n variable polynomials with real coefficients is called good if the following condition holds:
For any n functions f1,f2,⋯,fn:R→R if for all 1≤i≤n+1, Pi(x)=hi(f1(x),f2(x),⋯,fn(x)) is a polynomial with variable x, then f1(x),f2(x),⋯,fn(x) are polynomials.a) Prove that for all positive integers n, there exists a good n+1-tuple (h1,h2,⋯,hn+1) such that the degree of all hi is more than 1.b) Prove that there doesn't exist any integer n>1 that for which there is a good n+1-tuple (h1,h2,⋯,hn+1) such that all hi are symmetric polynomials.Proposed by Alireza Shavali