S={x|x=m+n根号2,且m和n都属于Z} 若x1和x2都属于S 那么x1乘以x2和x1+x2属于S不