Badha

Badha

Absence of contradiction of the probandum