Trying to prove affirmation 2.4.1