Let x 1 (29/33)

Let x 1