This question was asked in Ex 5.1, 5

why is axiom 5

Rl Tyagi's image