الجملة الأولى: يتم اختيار الخيار القانوني لـ ( `` m ', `` n' ) بحيث يكون `` n' إيجابياً ، أي: الجملة الثانية: الخيار الإيجابي لـ ( (`` m ', `` n' ) يتم اختياره بحيث يكون `` n' canonical و ، أي. السؤال: هل تعبر الجملة الأولى والجملة الثانية عن نفس المعنى؟ نعم أم لا؟