This question was asked in Ex 6.1, 5

Give proof of Axiom 6.3

Antero Jutasio's image