@aaa ویرایشی که کردم را نگاه کنید. اگر بگوئید:
«اگر $(a,12)=1$، آنگاه بزرگترین عددی که $a^2-1$ را بشمارد را بیابید» یعنی $a$ را اول یک عدد ثابت صادق در شرط ابتدای جمله میگیریم و سپس دنبال مجهول با فلان ویژگی میگردیم و قید کردن «همواره» در قسمت دوم جمله تغییری در معنا ایجاد نمیکند. اما با توجه به دیدگاهی که گذاشتید مشخص است که شما جملهبندی جدید منظورتان است یعنی چیزی را میخواهید که همهٔ اعضای مجموعهٔ $\lbrace a^2-1\mid (a,12)=1\rbrace$ را بشمارد. مسأله را هم در صورت نداشتن حرف «أ» در نوشتابزارتان با الف معمولی بنویسید بهتر است تا با عین.