¹سبق أن رمزنا إلى ذلك بـG⟨n⟩، لكننا نحذف الزخرفة الإضافية هنا تيسيرا للترميز.