Phase 1F-D：在固定 g 的框架中重新推出的全域對角線限制

primitive 長方體的空間對角線既不是質數的冪 p^e（對任何 e，經由 Chebyshev 多項式的有理根論證），也不是兩個相異質數的乘積（兩個初等的丟番圖分支），所以第一個存活的類型是 g = p²q。