اگر m عددی زوج هم باشد، اگر m+x اولی در مجموعه S باشد، m-x هم وجود دارد که اول است"
اما حالا سوال این هست که آیا این عضو حتما وجود دارد، یعنی مثل حالتی که m فرد بود، و حکم کلی نبود، یعنی قضیه شرطی بود، آیا جکم برای حالتی که m زوج باشه هم شرطی هست؟
جواب" فعلا لا ادری، باز هم همچنان در حال...