12.4 Usando due volte ASS.2 otteniamo:
torna alla teoria