لماذا نحتاج إلى جبرية المعادلات التي تحتوي متغيرات في الطرفين؟