Aggiustato prodotto sincronizzato

- Restyling della definizione (precedente era sbagliata!)
- Aggiunta proposizione che correla i path nel grafo del prodotto
sincronizzato con quelli degli operandi
Piccole correzioni