Ur denna framgår med logisk nödvändighet: