This question was asked in Theorem 6.1

axiom 3.3 

 

Anuksha CR's image