قضیه: فرض کنیم
$ G_{1} $
و
$ G_{2} $
دو گراف، به ترتیب، روی
$ [m] $
و
$ [n] $
باشند. در این صورت، گزارههای زیر معادلند:
1.
$ J_{G_{1},G_{2}} $
دارای تحلیل خطی است.
2.
$ G_{1} $
و
$ G_{2} $
کامل هستند و به علاوه
$ m=2 $
یا
$ n=2 $.
در قسمت اثبات $(1) \Rightarrow (2)$ چرا $ S/J_{K_{3},K_{3}} $ گرنشتاین است و در نتیجه تحلیل آزاد مدرج مینیمال آن متقارن میباشد؟
