Let x 1 (18/33)

Let x 1