Let x 1 (15/33)

Let x 1