http://science4.2ch.net/test/read.cgi/math/1149863517/924

f(x,y,z,w)=xyz+w は T の元ではないと思う。