Aggiornamento multiplo di record

Un solo modulo, tutti i record aggiornati: metodo, codice, dimostrazione