doc: proof of existence of suitable y for primal decomposition: fix notation