الجملة الأولى: إذا كان لـ `` f'في هاردي مساحة `` H' ، فهذا هو تصنيف الجملة الثانية: إذا كان `` f'في مساحة هاردي `` H'، فإنه يحتوي على عامل السؤال: هل تعبر الجملة الأولى والجملة الثانية عن نفس المعنى؟ نعم أم لا؟