[Proprietà+Transitiva.bmp]