Let x 1 (33/33)

Let x 1