This question was asked in Theorem 6.6

Axiom 6.4

Image.jpg

Lakhi Sarma's image