proprietà del comporre e scomporre, proposizioni. come?