Let x 1 (6/33)

Let x 1