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