Let x 1 (23/33)

Let x 1