Prodotto sincronizzato

- Aggiunta ulteriore notazione
- Aggiunto prodotto sincronizzato, con due risultati da dimostrare
- Rifinita dimostrazione sul frammento UP