Let x 1 (2/33)

Let x 1