This question was asked in Ex 6.1, 4

I can't understand axiom 2

rmagesh75 .'s image