y'nin yeterince büyük olması için x'in yeterince küçük olması lâzım. Sorudan 0∉N olduğu hissediliyor (Yâni, x,y∈N∗). Yok böyle değilse, y=5!=120 Yoksa, x=1 alırsak, y=40 olur. Böyle şeyler...