User blog comment:SuperJedi224/Something I've been putting together/@comment-2033667-20141113211208/@comment-1605058-20141119052700

Same may hold for 2*x, or even Sx, unless you specify in your definition that we are dealing with real/natural/whatever numbers, which you still did not do.