Proven affirmation 2.4.1