Let x 1 (24/33)

Let x 1