Let x 1 (22/33)

Let x 1