الجملة 1: إذا `` A '' و `` B'هي مساحات باناش فإن ناتج المترجم الجبري ل `` A'و `` B'يعني ناتج المترجم ل الجملة الثانية: إذا `` A'و `` B'هما باناك ، فإن ناتج المترجم الجبري ل `` A'و `` B'يعني ناتج المترجم ل السؤال: هل تعبر الجملة الأولى والجملة الثانية عن نفس المعنى؟ نعم أم لا؟