Let x 1 (30/33)

Let x 1