On the semantic readings of proof-nets

This follows from Lemmas 9 and 15; we shall only give a sketch of the proof, because the argument is simple and very similar to the argument given in the proof of Theorem 2.. Let `