یه سوال جند وقته که ذهن من را درگیر کرده اونم اینه که آیا برای اتحاد زیر اثبات جبری هم هست؟ Aref: ویرایش شد.