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