Ni har fullkomligt rätt , då ni uppställer satsen,