8.1 È immediata conseguenza di ASS.1.