Let x 1 (17/33)

Let x 1