Utilizzando del software, calcola, per diversi valori di a e b, (a+2b)×(2a−3b) e verifica che equivale a −7a×b. Verifica, poi, la cosa formalmente.