Let x 1 (32/33)

Let x 1