Let x 1 (11/33)

Let x 1