Let x 1 (20/33)

Let x 1