فرض کنید c یک کد کامل در یک گراف فاصله متعدی و متقاطر باشد. نشان داده شده است که اگر u عضو c باشد آنگاه هر راس در بیشترین فاصله از u متعلق به c است. همچنین ثابت شده است که هر گراف حاصل از حاصل ضرب مستقیم n دور دقیقا با n راس مشخص می شود.