This question was asked in Theorem 6.4

What is axiom

Naresh Kumar's image