>>563
2y/(1+p+…+p^n)/pk^qk = Π[l≠k] pk^q
これは割っただけだから、成立します

>a’ = Π[l≠k](1+pl+…+pl^ql)
は成り立つことが仮定されます