Cはそこまでに考察の対象としたある特別なpに対して成り立つ式なんじゃないの?
Cを立式した後でなんで勝手に「任意のp」にしてるの?