p.5 とか、(pとnの式である)式Gから、と書いて平然とp_k, q_kを代入する辺りはとても真似できんセンスだな

確かに代入しても成り立つんだが、それならば、式Gはpとnの式にすべきではないよね