Prove Par case of proof about node-numbering in graphOf.