Proven affirmation 2.4.2