فرض کنید g یک گروه متناهی وcs(g) مجموعه ی همه ی اندازه های رده های مزدوجی g{1} باشد. فرض کنید (g)? نشان دهنده گراف اول ساخته شده بر روی cs(g) باشد، در این صورت رئوس (g)? اعداد اول شمارنده ها ی اعضای cs(g) هستند و دو رأس متمایز p و q در (g)? مجاور هستند اگر و تنها اگر pq عضوی از cs(g) را عاد کند. مجموعه ی رئوس و مجموعه ی یال های (g)? را به ترتیب باv(g) وe(g) نشان م...