الجملة الاولى: يمكن للمرء بسهولة يتحقق من ان `` A' هو انسياب خطي اذا ولو فقط اذا `` A' عنده الشكل. الجملة الثانية: يسهل التحقق من ان `` A'يمثل انسياب خطي اذا و فقط اذا `` A'عنده الشكل السؤال: هل الجملة الاولى والجملة الثانية تعبر عن نفس المعنى؟ نعم او لا؟